"Stephan Eggersglüß" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

High Quality Test Pattern Generation and Boolean Satisfiability

Автор: Stephan Eggersglüß, Автор: Rolf Drechsler

Размер книги: 1.51 Mb

Test pattern generation using Boolean proof engines

Автор: Rolf Drechsler, Автор: Stephan Eggersglüß, Автор: Görschwin Fey, Автор: Daniel Tille

Размер книги: 6.22 Mb